Assigning Papers to Referees

Acknowledgement to referees 2021

On behalf of our Editorial team at Jorjani Biomedicine Journal, my heartfelt recognition for the commitment and contributions of those who served as reviewers for Jorjani Biomedicine Journal in 2021 is listed below. The high quality of their reviews is an extraordinary asset to ensure the quality of the articles published in the Jorjani Biomedicine Journal. I want to express my most sincere and...

Assigning Meaning to Form

Complex critical systems need to be formally described and analysed (i.e., engineered). Many different formal methods have been developed for analysing almost all aspects of these systems and in certain cases even synthesising parts of these systems themselves through, e.g., controller synthesis. In many cases however, it is not at all obvious what the results of the tools developed for these m...

Assigning Types to Processes

In wide area distributed systems it is now common for higher-order code to be transferred from one domain to another; the receiving host may initialise parameters and then execute the code in its local environment. In this paper we propose a fine-grained typing system for a higher-order π-calculus which can be used to control the effect of such migrating code on local environments. Processes ma...

volume2 referees

Volume1 referees

Following is a list of our colleagues who volunteered to review the manuscripts received to Geopersia during the past 12 months. I appreciate the positive actions that you have taken to participate in reviewing the manuscripts and implementing our recommendations to get the two issues published. We certainly would not be able to continue without your support and I wish to acknowledge your con...